| emsoft | participants

Aditi Kabra

EMSOFT 2022: 22nd International Conference on Embedded Software

Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces

Aditi Kabra, Stefan Mitsch, and André Platzer